Mircea Marin Temur Kutsia Foundations of the rule-based system rLog. 151-168 2006 16 Journal of Applied Non-Classical Logics 1-2 db/journals/jancl/jancl16.html#MarinK06