Authors: Moriya, E Yamashita, M Wada, K Murakami, M Watanabe, O Itoh, T Toda, S Katoh, N Iwama, K Nagamochi, H Harao, M Inoue, K Toyama, Y

Citation: E. Moriya et al., Special issue on selected papers from LA Symposium - Foreword, IEICE T INF, E84D(1), 2001, pp. 1-3

Authors: Lu, JG Mylopoulos, J Harao, M Hagiya, M

Citation: Jg. Lu et al., Higher order generalization and its application in program verification, ANN MATH A, 28(1-4), 2000, pp. 107-126