PhD thesis,

Analysis and Transformation of Logic Programs.

.
University of California at Santa Cruz, (1994)

Meta data

Tags

Users

  • @dblp
  • @droessler

Comments and Reviews