Showing papers by "Peter Baumgartner published in 1993"

TL;DR: The consolution calculus is modified in such a way that it can be instantiated to resolution, tableaux model elimination, a connection method and Loveland’s model elimination.

TL;DR: In this article, the authors used the Unitary Associations Method to estimate the truncation of ranges for tethyan radiolarians from radiolarite layers in the Argo Basin during the late Berriasian-early Valanginian.