Selected Papers from the Second International Workshop on Higher-Order Algebra, Logic, and Term Rewriting