Inheritance of Multiple Identity Conditions in Order-Sorted Logic
Keyword(s):
2005 ◽
Vol 149-150
◽
pp. 1-17
◽
2013 ◽
Vol 706-708
◽
pp. 1116-1119
2010 ◽
Vol 11
(3)
◽
pp. 6-26
◽