Skip to content

Hereditary First-Order Logic: the Tractable Quantifier Prefix Classes.

Manuel Bodirsky, Santiago Guzmn-Pro

VenueBCSL
Year2026
ProceedingsCSL

Browse the full CSL paper archive.