A free formal search using lucene | IEEE Conference Publication | IEEE Xplore