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