First-Order Analysis of Frameworks
2019 ◽
Vol 22
◽
pp. 122-129
◽
2012 ◽
Vol 588-589
◽
pp. 359-363
Keyword(s):
1992 ◽
Vol 89
(7)
◽
pp. 2595-2599
◽
2018 ◽
Vol 11
(1)
◽
pp. 327-341
◽
1991 ◽
Vol 4
◽
pp. 1-5
◽
2005 ◽
Vol 71
(707)
◽
pp. 2241-2247