Publications
Independent and-parallelization of logic programs using static slicing. Annales Universitatis Scientiarum Budapestinensis de Rolando Eotvos Nominatae Sectio Computarotica. 17:307-321.
.
1998. Independent and-parallelization of logic programs using static slicing. Fourth Symposium on Programming Languages and Software Tools. :307-319.
.
1995. Effective Algorithmic Debugging for Inductive Logic Programming. GMD-Studien. 237:175-194.
.
1994.