DMCA

Lazy clause generation reengineered (2009)

by Thibaut Feydy , Peter J. Stuckey
Venue:In Proceedings of CP 2009
Citations:29 - 14 self