Prototyping the Structured Specification as Logic Programs.

Karl R. P. H. Leung, Daniel Kim Chung Chan

Browse the full APSEC paper archive.