@article {FGM02,
	title = {{Recognizing Design Patterns in C++ programs with the integration of Columbus and Maisa}},
	journal = {Acta Cybernetica},
	volume = {15},
	year = {2002},
	pages = {669-682},
	author = {Rudolf Ferenc and J. Gustafsson and L. M{\"u}ller and J. Paakki}
}
@conference {FGM01,
	title = {{Recognizing Design Patterns in C++ programs with the integration of Columbus and Maisa}},
	booktitle = {Proceedings of the 7th Symposium on Programming Languages and Software Tools (SPLST 2001)},
	year = {2001},
	month = {jun},
	pages = {58-70},
	publisher = {University of Szeged},
	organization = {University of Szeged},
	author = {Rudolf Ferenc and J. Gustafsson and L. M{\"u}ller and J. Paakki}
}
@article {PGyH98,
	title = {Independent and-parallelization of logic programs using static slicing},
	journal = {Annales Universitatis Scientiarum Budapestinensis de Rolando Eotvos Nominatae Sectio Computarotica},
	volume = {17},
	year = {1998},
	pages = {307-321},
	author = {J. Paakki and Tibor Gyim{\'o}thy and T. Horv{\'a}th}
}
@conference {PGyH95,
	title = {Independent and-parallelization of logic programs using static slicing},
	booktitle = {Fourth Symposium on Programming Languages and Software Tools},
	year = {1995},
	month = {jun},
	pages = {307-319},
	author = {J. Paakki and Tibor Gyim{\'o}thy and T. Horv{\'a}th}
}
@inbook {Gyimothy_Paakki_1995,
	title = {Static Slicing of Logic Programs},
	booktitle = {AADEBUG 2nd International Workshop on Automated and Algorithmic Debugging},
	year = {1995},
	pages = {85{\textendash}105},
	publisher = {IRISA-CNRS},
	organization = {IRISA-CNRS},
	author = {Tibor Gyim{\'o}thy and J. Paakki}
}
@conference {PaaGyiHor94-ILP94,
	title = {Effective Algorithmic Debugging for Inductive Logic Programming},
	booktitle = {GMD-Studien},
	volume = {237},
	year = {1994},
	pages = {175-194},
	publisher = {Gesellschaft f{\"u}r Mathematik und Datenverarbeitung MBH},
	organization = {Gesellschaft f{\"u}r Mathematik und Datenverarbeitung MBH},
	author = {J. Paakki and Tibor Gyim{\'o}thy and T. Horv{\'a}th},
	editor = {S. Wrobel}
}
