Parallel Algebraic Logic (PAL): a dual use technology | IEEE Conference Publication | IEEE Xplore