Journal article

ON PROLOG AND THE OCCUR CHECK PROBLEM

K MARRIOTT, H SONDERGAARD

ACM SIGPLAN Notices | ASSOC COMPUTING MACHINERY | Published : 1989