Wu, Jinzhao Programming Logics, MPI for Informatics, Max Planck Society;
1999-2-005 (全文テキスト(全般)), 10KB
Wu, J.(1999). Symmetries in logic programs (MPI-I-1999-2-005). Saarbrücken: Max-Planck-Institut für Informatik.