sentence1: the use of deduction systems for specifying parsers has been proposed by shieber , schabes , and pereira and sikkel .
sentence2: finally , both shieber , schabes , and pereira and sikkel have shown how to specify parsers in a simple , interpretable , item-based format .