Average Time Analyses Related to Logic Programming

Nachum Dershowitz, Naomi Lindenstrauss. Average Time Analyses Related to Logic Programming. In ICLP. pages 369-381, 1989.

Abstract

Abstract is missing.