Prospects for representing the law as logic programs (1982)

by M Sergot
Venue:Logic Programming