Peter Baumgartner

TL;DR: In this article, the authors established a cyclostratigraphy of the Bajocian-Callovian Basal Radiolarites at the Torre De Busi and Corre Di Sogno sections in the Lombardian Basin, N-Italy.

TL;DR: In this article, an updated tectono-stratigraphic framework that divides the Nicoya Peninsula into two oceanic plateau terranes is proposed. But the authors do not consider the impact of oceanic plateaus on the formation of the Berrugate Arc.

TL;DR: In this paper, the relationship between top-down and bottom-up approaches to computation with disjunctive logic programs (DLPs) is investigated, and the relation between fixed point approaches and hyper tableaux is investigated.

TL;DR: This article shows how to integrate a modern treatment of equality in the hyper tableau calculus based on splitting of positive clauses and an adapted version of the superposition inference rule, where equations used for superposition are drawn from a set of positive unit clauses, and superposition inferences into positive literals is restricted into (positive) unit clauses only.

TL;DR: In this article, a short historical review and a synthesis of currently used Mesozoic zonations developed in North America, Europe and Asia are discussed. But, as a general rule, the zonation including a high number of taxa in each zone has a much greater applicability for global correlations than those defined exclusively with marker taxa.