@inproceedings{ICEIS-1999-CarvalhoPJ99a,
	author        = "Cedric Luiz de Carvalho and Eduardo Costa Pereira and Rita Maria da Silva Julia",
	booktitle     = "{Proceedings of the First International Conference on Enterprise Information Systems}",
	pages         = "764",
	title         = "{Type Inference in Logic Programming Context}",
	year          = 1999,
}