author = {L. Kovacs},
title = {{Aligator: a Package for Reasoning about Loops}},
booktitle = {{Proc. of 14th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR)}},
language = {english},
pages = { --},
address = {Yerevan, Armenia},
year = {2007},
month = {October},
note = {Short paper. to appear},
refereed = {yes},
length = {7}