An Application of Logic Programming in Type Systems of Visual Languages. - Jörg Poswig; Marija Kulas (WLP, 1993)

Annotations for Prolog - A Concept and Runtime Handling. - Marija Kulas (LOPSTR, 1999)

Debugging Prolog Using Annotations. - Marija Kulas (WLPE@ICLP, 1999)

Defining Standard Prolog in Rewriting Logic. - Marija Kulas; Christoph Beierle (WRLA, 2000)

Pure Prolog Execution in 21 Rules - Marija Kulas (CoRR, 2003)

A Pragmatic Approach to Pre-testing Prolog Programs. - Christoph Beierle; Marija Kulas; Manfred Widera (INAP/WLP, 2004)

Toward the Concept of Backtracking Computation. - Marija Kulas (SOS@CONCUR, 2004)

A Practical View on Renaming. - Marija Kulas (WLP / WFLP, 2017)

A Term Matching Algorithm and Substitution Generality. - Marija Kulas (LOPSTR, 2023)