Target ArticleEdit
Parity games and automata for game logic; HH Hansen, C Kupke, J Marti, Y Venema; 2017; doi_citing_unknown
RetractionEdit
PDL Has Interpolation ; Tomasz Kowalski; 09/01/2002
- doi_cited_unknown
Citation pieceEdit
Note: Open to append information.