Decidability and expressiveness aspects of logic queries (1987)

by O Shmueli
Venue:In PODS