Efficient Searching and Retrieval of Documents in PROSA