Records for Logic Programming.

Gert Smolka, Ralf Treinen

Browse the full ICLP paper archive.