Corrigendum to “Carbonate delta drift: A new sediment drift type” [Mar. Geol. 401 (2018) 98–111]

The authors regret the mistake in the drawing of the delta drift architecture in figure 11. The authors would like to apologise for any inconvenience caused. [Figure presented

Logic Programs with Functions And Default Values

In this work we reconsider the replacement of predicate-like notation by functional terms, using a similar syntax to Functional Logic Programming, but under a completely different semantic perspective. Ou

PTTP+GLiDeS: Guiding Linear Deductions with Semantics

This paper describes PTTP+GLiDeS, a PTTP style prover augmented with a semantic pruning mechanism, GLiDeS. PTTP+GLiDeS combines modified versions of Stickel's PTTP style prover [6] and the model generator MACE [4]