Generic rules for logic representation transformations
Keyword(s):
1989 ◽
pp. 250-272
◽
Keyword(s):
Keyword(s):
Keyword(s):
Keyword(s):
2007 ◽
Vol 133
(4)
◽
pp. 277-286
◽