An abductive approach for analysing eventbased requirements specifications. (2002)

by A Russo, R Miller, B Nuseibeh, J Kramer
Venue:Logic Programming, 18th International Conference, ICLP 2002. Volume 2401 of Lecture Notes in Computer Science.,