On Anti-Links

• Authors:

• Bernard Becker;Reiner Hähnle;Anavai Ramesh;Neil V. Murray

• Affiliations:

• -;-;-;-

• Venue:
• LPAR '94 Proceedings of the 5th International Conference on Logic Programming and Automated Reasoning
• Year:
• 1994