Expressing Database Queries with Intuitionistic Logic (1989)

by Anthony J. Bonner, L. Thorne Mccarty, Kumar Vadaparty
Venue:Proceedings of the North American Conference on Logic Programming