Journal Article

Computational Complexity of Probabilistic Searching Algorithms over Herbrand Universes

Kramosil Ivan, Šindelář Jan

: Computers and Artificial Intelligence vol.4, 2 (1985), p. 97-108