Verisimilitude via Vietoris. - Chris Brink; J. J. C. Vermeulen; J. P. G. Pretorius (J. Log. Comput., 1992)