@article{DBLP:journals/fuin/Balbiani03,
author = {Philippe Balbiani},
title = {Eliminating Unorthodox Derivation Rules in an Axiom System
for Iteration-free PDL with Intersection},
journal = {Fundam. Inform.},
volume = {56},
number = {3},
year = {2003},
pages = {211-242},
ee = {http://iospress.metapress.com/content/hxauwt7k92jlhuaf/},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2009-06-08 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
