Stable theories in autoepistemic logic (1989)

by W. Marek
Venue:Fundamenta Informaticae
Citations:12 - 3 self