Publications de
Philippe Balbiani, Andreas Herzig, Mamede Lima Marques
TIM: the Toulouse inference machine for non-classical logic programming
Dans : Processing Declarative Knowledge (PDK 1991), Kaiserslautern, H. Boley, M. Richter (Eds.), Springer-Verlag, p. 366-382, janvier 1991.