A transformation system for CLP with dynamic scheduling and CCP
1995 ◽
Vol 6
(3-6)
◽
pp. 251-260
◽
Keyword(s):
2011 ◽
Vol 34
(5)
◽
pp. 943-950
◽
Keyword(s):
1963 ◽
Vol 238
(9)
◽
pp. 3126-3130
◽