Show 10 5 10 15 20 50 100 250 Sort by year (new to old) Actions Download search results Subscribe to news feed Your filters: cql: parent exact "PCL Proceedings" Add to list Conference Paper C1 open access On a Partial Decision Method for Dynamic Proofs Diderik Batens (UGent) (2002) PCL Proceedings. 95. p.91-108