Logic Programming And Automated Reasoning 5th International Conference Lpar 94 | Desertcart Romania