Keyword Index – Volume (2004)

2005 The Journal of Logic and Algebraic Programming  
doi:10.1016/s1567-8326(05)00018-4 fatcat:dyytsmll4vg7llkt2qfx23zqi4