Stable Semantics for Logic Programs and Default Theories.

Victor W. Marek, Mirosław Truszczyński

Minerva Endocrinologica · 1989 · 73 citations · 0 references

Concepts