Bibtex de la publication

@InProceedings{ Ba1992.5,
author = {Balbiani, Philippe},
title = "{The finiteness of logic programming derivations}",
booktitle = "{Algebraic and Logic Programming (ALP 1992), Volterra, 01/09/1992-30/09/1992}",
editor = {Kirchner, Hélène and Levi, Giorgio},
year = {1992},
month = {septembre},
publisher = {Springer-Verlag},
pages = {403--419}
}