Abstract is missing.
- Z Specifications: Syntactic Sugar for PrologLeon Sterling.
- An Intelligent LOTOS interpreter in AMLOGAtsushi Togashi, Glenn Mansfield, Norio Shiratori.
- Applications of Logic Programming in Software Process ModelingPaolo Ciancarini.
- Transformational Development of Logic Programs from Executable SpecificationsMarkus P. J. Fromherz, Norbert E. Fuchs.
- A Prolog based Semantics of a Dedicated Process Modeling LanguageGerald Junkermann.
- Executable requirements Specifications in a Logic Specification Language SPILL-2Feliks Kluzniak, Miroslawa Milkowska.
- Design of Redundant Formal Specifications by Logic programming: Merging Formal Text and Good CommentsSophie Renault, Pierre Deransart.
- Specifying industrial real-time systems in a logical frameworkEmanuele Ciapessoni, Edoardo Corsetti, Manlio Migliorati, Elena Ratto.
- Pandora: a Temporal Logic Based Process EnginePatricia Lago, G. Malnati.
- SPELL: A Logic Programming Language for Process ModellingMinh Ngoc Nguyen, Reidar Conradi.