Man-Computer Interfaces: An Introduction to Software Design and Implementation. - Frank Kriwaczek (J. Inf. Technol., 1988)

A Family of Goal Directed Theorem Provers Based on Conjunction and Implication: Part I. - Dov M. Gabbay; Frank Kriwaczek (J. Autom. Reason., 1991)

An Introduction to Constraint Logic Programming. - Frank Kriwaczek (Advanced Topics in Artificial Intelligence, 1992)

A Flexible Constraint-Based Portal Architecture. - Christopher J. Hogger; Frank Kriwaczek; Mohd S. Ahmad (CAINE, 2003)

Constraint-Guided Enterprise Portals. - Christopher J. Hogger; Frank Kriwaczek (ICEIS (3), 2004)

Deriving Tool Specifications from User Actions. - Christopher J. Hogger; Frank Kriwaczek (IEICE Trans. Inf. Syst., 2004)