Prospects for representing the law as logic programs (1982)

by Marek J Sergot
Venue:In Logic Programming