Records for logic programming (1994)

by G Smolka, R Treinen
Venue:J. Logic Progr