Abstractions in logic programming (1990)

by Dale Miller
Venue:In Peirgiorgio Odifreddi, editor, Logic and Computer Science