Continuity, consistency, and completeness properties for logic programs (1999)

by L Cavedon
Venue:In Proceedings of the 199 IEEE Aerospace conference