Logikprogrammierung: 4.1.3 Fixpoint Semantics of LP (Mo, 27.05.2013)
  • Einbetten