Venue

Computational Logic - Essays in Honor of Alan Robinson, pp. 565–583

Publication Year

1991

Authors