Daniela V. Carbogim Flávio S. Corrêa da Silva Facts, Arguments, Annotations and Reasoning. 1-22 2000 19 New Generation Comput. 1 db/journals/ngc/ngc19.html#CarbogimS00