An Engine for Computing Well-Founded Models.

Terrance Swift

Browse the full ICLP paper archive.