- Zlepšování efektivity prologovských programů pomocí plně automatizované unfold/fold transformace2007 | Matematicko-fyzikální fakulta
- Zlepšování efektivity Prologovských programů pomocí plně automatizované transformace rozvinutí/svinutí2007 | Matematicko-fyzikální fakulta
- Optimalizace prologovských programů plně automatickou transformační procedurou2008 | Matematicko-fyzikální fakulta
- Zlepšování efektivity prologovských programů pomocí plně automatizované transformace2007 | Matematicko-fyzikální fakulta