The degree of unsolvability of the completion semantics for general logic programs - Levon A. Haykazyan (Изд-во НАН РА)
Keywords: Mathematics