http://www.morelab.deusto.es/resource/http://dblp.uni-trier.de/db/journals/puc/puc15.html

used by 1: