Skip to content
Licensed Unlicensed Requires Authentication Published by De Gruyter 2016

Herbrand Confluence for First-Order Proofs with Π2-Cuts

Bahareh Afshari, Stefan Hetzl and Graham E. Leigh
© 2016 Walter de Gruyter GmbH, Berlin/Munich/Boston