OrDB

Paper (s) having Fagin R, Halpern J, Moses Y, Vardi M (1995) as References


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