Towards Relating Ciao Assertions and LPTP Theorems | Digital Library | PAMCET | PAMCET