BibTeX Export

@article{Authenticus:P-000-KCD,
	title = {{A CLP-based tool for computer aided generation and solving of maths exercises}},
	author = {AP Tomas and JP Leal},
	doi = {10.1007/3-540-36388-2_16},
	journal = {Practical Aspects of Declarative Languages, Proceedings},
	pages = {223-240},
	publisher = {Springer-verlag Berlin},
	type = {Article},
	volume = {2562},
	year = {2003}
}