Circumscription and implicit definability

Jon Doyle
2018
Computer Science Department
doi:10.1184/r1/6604076 fatcat:p6usdygsrnatrcbztt4eha5x74