DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-032-08707-2_19,20648,KrCh,PolyQEnt: A polynomial quantified entailment solver