Title: Adding Meta Rules to Pos5 A Proposed Extension
First published: 1985