How to Design Variants of Flats Using Programming Language PROLOG Based on Mathematical Logic. - Zsuzsanna Markusz (IFIP Congress, 1977)

Knowledge Representation of Design in Many-Sorted Logic. - Zsuzsanna Markusz (IJCAI, 1981)

A Design Methodology in Prolog Programming. - Zsuzsanna Markusz; A. A. Kaposi (ICLP, 1982)

Complexity Control in Logic-Based Programming. - Zsuzsanna Markusz; A. A. Kaposi (Comput. J., 1985)