A framework for analysis of type logic programs (2001)

by V Lagoon, P J Stuckey
Venue:LS01] [Mee88] [SHC96] [SHK00] [TL97] [VCL93