@inproceedings {Risch91,
author = {V. Risch},
title = {D\'emonstration à Base de Tableaux S\'emantiques pour la Logique des D\'efauts au sens de Lukaszewicz},
booktitle = {Actes du 8ème congr\'es AFCET ``Reconnaissance des Formes et Intelligence Artificielle'', RFIA'91},
address = {Lyon, France},
year = 1991,
pages = {355--361}
}