@inproceedings{IS8f,
title = { {A Complete Cyclic Proof System for Inductive Entailments in First Order Logic} },
author = {Iosif, Radu and Serban, Cristina},
month = {Nov},
year = {2018},
booktitle = {{{LPAR-22.} 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning}},
address = {Awassa, Ethiopia},
team = {RSD, axe_Mohytos},
pdf = {https://hal.archives-ouvertes.fr/hal-02388031/file/final.pdf},
hal_id = {hal-02388031},
hal_version = {v1},
}
