Home
DCC eCatalog
J._P.__Gallagher
Regular approximations of logic programs and their uses
