Records for Logic Programming (1994)

by Gert Smolka, Ralf Treinen
Venue:J. Log. Program