Mario A. Nascimento, Clenio F. Salviano, Murat M. Tanik. Using Logic Programming to Test Module Specifications in Early Stages of Software Development. In Tuncer I. Ören, George J. Klir, editors, Computer Aided System Theory - CASR 94, 4th International Workshop, Ottawa, Ontario, Canada, May 16-20, 1994, Selected Papers. Volume 1105 of Lecture Notes in Computer Science, pages 373-387, Springer, 1994.
Abstract is missing.