76
Voted
ICLP
1991
Springer
15 years 15 days ago
1991
Springer
An extended logic programming language embodying sets is developed in successive stages, introducing at each stage simple set dictions and operations, and discussing their operati...