Voda, Paul J.; Benjamin Yu "RF-Maple: A Logic Programming Language with Functions, Types, and Concurrency". FGCS 1984: 341-347
(1984)
Languages mentioned
RF-Maple
{1984}