OrDB

Paper (s) having Halpern JY, van_der_Meyden R, Vardi MY (2004) as References


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