Marija Kulas

	2005
8		Marija Kulas: Toward the Concept of Backtracking Computation. Electr. Notes Theor. Comput. Sci. 128(1): 39-59 (2005)
	2004
7		Christoph Beierle, Marija Kulas, Manfred Widera: A Pragmatic Approach to Pre-testing Prolog Programs. INAP/WLP 2004: 294-308
	2003
6		Marija Kulas: Pure Prolog Execution in 21 Rules CoRR cs.PL/0310020: (2003)
	2000
5		Marija Kulas: Debugging Prolog Using Annotations. WLP 2000: 183-197
4		Marija Kulas, Christoph Beierle: Defining Standard Prolog in Rewriting Logic. Electr. Notes Theor. Comput. Sci. 36: (2000)
	1999
3		Marija Kulas: Annotations for Prolog - A Concept and Runtime Handling. LOPSTR 1999: 234-254
2		Marija Kulas: Debugging Prolog Using Annotations. Electr. Notes Theor. Comput. Sci. 30(4): (1999)
	1993
1		Jörg Poswig, Marija Kulas: An Application of Logic Programming in Type Systems of Visual Languages. WLP 1993: 85-89

Coauthor Index

1	Christoph Beierle	[4] [7]
2	Jörg Poswig	[1]
3	Manfred Widera	[7]

Colors in the list of coauthors