Conference Proceedings

Demand-driven normalisation for ACD term rewriting

L De Koninck, GJ Duck, PJ Stuckey

Lecture Notes in Computer Science: Logic Programming | Published : 2009

DOI: 10.1007/978-3-642-02846-5_39