<?xml version="1.0" standalone="yes"?>
<Paper uid="J99-2006">
  <Title>formalism and implementation of</Title>
  <Section position="5" start_page="280" end_page="280" type="ackno">
    <SectionTitle>
Acknowledgments
</SectionTitle>
    <Paragraph position="0"> Ron Kaplan had the idea that the proof construction which we used in Wedekind and Kaplan (1996) might be useful for other purposes. Thanks to him for valuable suggestions.</Paragraph>
  </Section>
class="xml-element"></Paper>