Index of /~antoy/homepage/publications/plilp97

	Name	Last modified	Size	Description
	Parent Directory		-
	abstract.txt	2002-03-22 21:20	712
	bibtex.txt	2002-03-22 21:20	1.2K
	paper.dvi	2002-03-22 21:20	63K
	paper.pdf	2001-12-24 15:39	166K
	paper.ps.gz	2002-03-22 21:20	73K