by Johannes Marti, Fatemeh Seifan and Yde Venema
Reference:
Johannes Marti, Fatemeh Seifan and Yde Venema: Uniform Interpolation for Coalgebraic Fixpoint Logic, Chapter in Lawrence S. Moss, Pawel Sobocinski, eds.: 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015), Leibniz International Proceedings in Informatics (LIPIcs), vol. 35, pp. 238–252, Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, 2015.
Bibtex Entry:
@incollection{Mar:Uni15,
author = {Johannes Marti and Fatemeh Seifan and Yde Venema},
title = {{Uniform Interpolation for Coalgebraic Fixpoint Logic}},
booktitle = {6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015)},
volume = {35},
pages = {238--252},
OPTkey = {},
OPTmonth = {},
year = {2015},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
editor = {Lawrence S. Moss and Pawel Sobocinski},
url = {http://drops.dagstuhl.de/opus/volltexte/2015/5537/pdf/17.pdf},
}