File Information

File: 05-lr/acl_arc_1_sum/cleansed_text/xml_by_section/abstr/90/p90-1028_abstr.xml

Size: 335 bytes

Last Modified: 2025-10-06 13:47:08

<?xml version="1.0" standalone="yes"?>
<Paper uid="P90-1028">
  <Title>ALGORITHMS FOR GENERATION IN LAMBEK THEOREM PROVING</Title>
  <Section position="1" start_page="0" end_page="0" type="abstr">
    <SectionTitle>
ALGORITHMS FOR GENERATION IN LAMBEK
THEOREM PROVING
</SectionTitle>
    <Paragraph position="0"/>
  </Section>
class="xml-element"></Paper>
Download Original XML