A Theory of Modules for Logic Programming (1986)

by Dale Miller
Venue:In Symp. Logic Programming
Citations:45 - 6 self