Jeffrey J.-P. Tsai;Thomas J. Weigert
-;-
Experience on knowledge-based software engineering: A logic-based requirements language and its industrial applications
Journal of Systems and Software