Conference Proceedings

ACD Term Rewriting

Gregory J Duck, Peter J Stuckey, Sebastian Brand, S Etalle, M Truszczynski

Logic Programming | SPRINGER-VERLAG BERLIN | Published : 2006