OrDB

Paper (s) having Gabbay D, Kurucz A, Wolter F, Zakharyaschev M (2003) as References


 
Name
1 d'Avila Garcez AS, Lamb LC (2006)