Kjell Post

Analysis and Transformation of Logic Programs.
. University of California at Santa Cruz, (1994)
  •  :
  •  :
далее