Bibtex de la publication

@InProceedings{ BaHeLi1991.1,
author = {Balbiani, Philippe and Herzig, Andreas and Lima Marques , Mamede},
title = "{TIM: the Toulouse inference machine for non-classical logic programming}",
booktitle = "{Processing Declarative Knowledge (PDK 1991), Kaiserslautern, }",
editor = {Boley, H. and Richter, M.},
year = {1991},
month = {janvier},
publisher = {Springer-Verlag},
pages = {366--382},
note = { Dates de conférence : janvier 1991 1991.}
}