Super Logic Programs.

Stefan Brass, Jrgen Dix, Teodor C. Przymusinski

Browse the full KR paper archive.