Records for logic programming (1994)

by G Smolka, R Treinen
Venue:Journal of Logic Programming