Branching-time logic programming: the la
โ
P. Rondogiannis; M. Gergatsoulis; T. Panayiotopoulos
๐
Article
๐
1998
๐
Elsevier Science
๐
English
โ 290 KB