Stuber, Jürgen Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-93-257.pdf (全文テキスト(全般)), 125KB
Stuber, J.(1993). Computing stable models by program transformation (MPI-I-93-257). Saarbrücken: Max-Planck-Institut für Informatik.