Silvana Badaloni Alberto Zanardo Plausible Reasoning: A First-Order Approach. 1996 6 Journal of Applied Non-Classical Logics 3 db/journals/jancl/jancl6.html#BadaloniZ96